6

Restarting automata with restricted utilization of auxiliary symbols

Year:
2006
Language:
english
File:
PDF, 328 KB
english, 2006
8

Degrees of non-monotonicity for restarting automata

Year:
2006
Language:
english
File:
PDF, 532 KB
english, 2006
9

Deciding the winner in parity games is in UP ∩ co-UP

Year:
1998
Language:
english
File:
PDF, 585 KB
english, 1998
11

On the Complexity of 2-Monotone Restarting Automata

Year:
2008
Language:
english
File:
PDF, 574 KB
english, 2008
12

Leftist Grammars and the Chomsky Hierarchy

Year:
2007
Language:
english
File:
PDF, 256 KB
english, 2007
13

Probabilistic Length-Reducing Two-Pushdown Automata

Year:
2009
Language:
english
File:
PDF, 800 KB
english, 2009
15

Games with secure equilibria

Year:
2006
Language:
english
File:
PDF, 284 KB
english, 2006
16

On complexity of grammars related to the safety problem

Year:
2007
Language:
english
File:
PDF, 404 KB
english, 2007
17

Lower bound technique for length-reducing automata

Year:
2007
Language:
english
File:
PDF, 304 KB
english, 2007
18

Undecidability of domino games and hhp-bisimilarity

Year:
2003
Language:
english
File:
PDF, 310 KB
english, 2003
20

A Deterministic Subexponential Algorithm for Solving Parity Games

Year:
2008
Language:
english
File:
PDF, 329 KB
english, 2008
29

SHRINKING RESTARTING AUTOMATA

Year:
2007
Language:
english
File:
PDF, 1.49 MB
english, 2007
31

Hierarchic VTS

Year:
1986
Language:
english
File:
PDF, 220 KB
english, 1986
35

Reachability in two-clock timed automata is PSPACE-complete

Year:
2015
Language:
english
File:
PDF, 411 KB
english, 2015
36

Alternating automata on data trees and XPath satisfiability

Year:
2011
Language:
english
File:
PDF, 379 KB
english, 2011